# Copyright 2021, Régis Décamps
# SPDX-License-Identifier: BSD-3-Clause

package(default_visibility = ["//jflex:visibility"])

load("//third_party/org/checkerframework:build_defs.bzl", "java_library_with_nullness_check")

SRCS_DEPRECATED_DFA = [
    "DeprecatedDfa.java",
    "StatePairList.java",
]

java_library_with_nullness_check(
    name = "dfa",
    srcs = glob(["*.java"]),
    deps = [
        "//jflex/src/main/java/jflex/core",
        "//jflex/src/main/java/jflex/exceptions",
        "//jflex/src/main/java/jflex/l10n",
        "//jflex/src/main/java/jflex/logging",
        "//jflex/src/main/java/jflex/option",
        "//jflex/src/main/java/jflex/state",
        "//third_party/javax:jsr305",
    ],
)

java_library(
    name = "deprecated_dfa",
    testonly = True,
    srcs = SRCS_DEPRECATED_DFA,
    deps = [
        "//jflex/src/main/java/jflex/dfa",
        "//jflex/src/main/java/jflex/exceptions",
        "//jflex/src/main/java/jflex/l10n",
        "//jflex/src/main/java/jflex/logging",
        "//jflex/src/main/java/jflex/option",
    ],
)
